<html>
<head><meta charset="utf-8"><title>meeting 2020.05.12 · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html">meeting 2020.05.12</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="197306450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306450">(May 12 2020 at 17:03)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1172">@WG-async-foundations</span> meeting!</p>



<a name="197306557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306557">(May 12 2020 at 17:04)</a>:</h4>
<p><a href="https://github.com/orgs/rust-lang/projects/2">Project board</a></p>



<a name="197306637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306637">(May 12 2020 at 17:05)</a>:</h4>
<p>We had one task marked as done this past week:</p>
<ul>
<li>Explain editions when trying to use async block in 2015 edition <a href="https://github.com/rust-lang/rust/issues/67204">#67204</a></li>
</ul>



<a name="197306681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306681">(May 12 2020 at 17:05)</a>:</h4>
<p>lots are in progress</p>



<a name="197306705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306705">(May 12 2020 at 17:05)</a>:</h4>
<p>One relevant thing:</p>



<a name="197306721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306721">(May 12 2020 at 17:05)</a>:</h4>
<p>We've been discussing the <code>#[must_use]</code> attribute and how it should work</p>



<a name="197306785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306785">(May 12 2020 at 17:06)</a>:</h4>
<p>e.g. see <a class="stream-topic" data-stream-id="213817" href="/#narrow/stream/213817-t-lang/topic/MustUse">#t-lang &gt; MustUse</a></p>



<a name="197306839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306839">(May 12 2020 at 17:06)</a>:</h4>
<p>(seems also relevant to <span class="user-mention" data-user-id="207781">@Lucio Franco</span>'s "yield safe" lint ideas)</p>



<a name="197306918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306918">(May 12 2020 at 17:07)</a>:</h4>
<p>yeah</p>



<a name="197306920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197306920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197306920">(May 12 2020 at 17:07)</a>:</h4>
<p>I think there will be a need for someone to try and "shepherd" that conversation a bit, in terms of collecting the options and arguments pro/con.</p>



<a name="197307060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307060">(May 12 2020 at 17:08)</a>:</h4>
<p>I will probably mark "Add a <code>MustUse</code> trait to complement <code>#[must_use]</code> <a href="https://github.com/rust-lang/rust/issues/71816">#71816</a>" as blocked for now, then</p>



<a name="197307235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307235">(May 12 2020 at 17:08)</a>:</h4>
<p>oh, I added the PR and issue it fixes for some reason..</p>



<a name="197307317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307317">(May 12 2020 at 17:09)</a>:</h4>
<p>/me is going through in progress issues to see if any need checking on</p>



<a name="197307432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307432">(May 12 2020 at 17:10)</a>:</h4>
<h2>Lifetime bounds in auto trait impls prevent trait from being implemented on generators <a href="https://github.com/rust-lang/rust/issues/64552">#64552</a></h2>



<a name="197307474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307474">(May 12 2020 at 17:10)</a>:</h4>
<p>ah, just found the PR</p>



<a name="197307689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307689">(May 12 2020 at 17:12)</a>:</h4>
<p>..okay, looks like I need to do some more reviews</p>



<a name="197307748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307748">(May 12 2020 at 17:12)</a>:</h4>
<p><span class="user-mention" data-user-id="116773">@csmoe</span> has a lot of PRs up &lt;3</p>



<a name="197307829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307829">(May 12 2020 at 17:13)</a>:</h4>
<p>I don't think there are updates on blocked issues, moving on</p>



<a name="197307855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307855">(May 12 2020 at 17:13)</a>:</h4>
<p>any updates on claimed issues, are they in progress yet?</p>



<a name="197307894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307894">(May 12 2020 at 17:14)</a>:</h4>
<p>mmmm</p>



<a name="197307957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307957">(May 12 2020 at 17:14)</a>:</h4>
<p>I didn't have time to investigate my issue yet :'(</p>



<a name="197307982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197307982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197307982">(May 12 2020 at 17:14)</a>:</h4>
<p>not sure whether <span class="user-mention" data-user-id="116773">@csmoe</span> started work on <a href="https://github.com/rust-lang/rust/issues/69276">#69276</a>?</p>



<a name="197308014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308014">(May 12 2020 at 17:14)</a>:</h4>
<p>I also have one I haven't made progress on, but it's not on the board for some reason :/</p>



<a name="197308015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nell Shamrell-Harrington <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308015">(May 12 2020 at 17:14)</a>:</h4>
<p>I should have time to investigate mine starting next week</p>



<a name="197308062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308062">(May 12 2020 at 17:15)</a>:</h4>
<p>same, I probably won't have time until next week</p>



<a name="197308185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308185">(May 12 2020 at 17:16)</a>:</h4>
<p>Okay, let's look at <a href="https://github.com/search?q=org%3Arust-lang+is%3Aissue+label%3AA-async-await+is%3Aopen+-label%3AAsyncAwait-Triaged&amp;type=Issues">Uncategorized issues</a></p>



<a name="197308260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308260">(May 12 2020 at 17:16)</a>:</h4>
<h2>confusing diagnostic for incorrect type parameter on BoxFuture <a href="https://github.com/rust-lang/rust/issues/72117">#72117</a></h2>



<a name="197308374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308374">(May 12 2020 at 17:17)</a>:</h4>
<p>hmm</p>



<a name="197308459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308459">(May 12 2020 at 17:18)</a>:</h4>
<p>lol at </p>
<blockquote>
<p>help: you need to pin and box this expression: <code>Box::pin(f.boxed())</code></p>
</blockquote>



<a name="197308538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308538">(May 12 2020 at 17:18)</a>:</h4>
<p>yeah, that's not great</p>



<a name="197308560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308560">(May 12 2020 at 17:19)</a>:</h4>
<p>it's trying so hard to be helpful</p>



<a name="197308565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308565">(May 12 2020 at 17:19)</a>:</h4>
<p>I was going to say this feels pretty niche, but I guess it comes up if you write combinators</p>



<a name="197308621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308621">(May 12 2020 at 17:19)</a>:</h4>
<p>I'm trying to understand exactly what's going on I guess</p>



<a name="197308675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308675">(May 12 2020 at 17:20)</a>:</h4>
<p>it seems like a more likely suggestion would be to change</p>



<a name="197308718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308718">(May 12 2020 at 17:20)</a>:</h4>
<p>to <code>BoxFuture&lt;'a, bool&gt;</code></p>



<a name="197308724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308724">(May 12 2020 at 17:20)</a>:</h4>
<p>then <code>F::Output</code></p>



<a name="197308748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308748">(May 12 2020 at 17:20)</a>:</h4>
<p>I don't <em>quite</em> get where that <code>help:</code> comes from</p>



<a name="197308779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308779">(May 12 2020 at 17:20)</a>:</h4>
<p>I think if we removed the help text in this case, the error would be much less confusing</p>



<a name="197308780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308780">(May 12 2020 at 17:20)</a>:</h4>
<p>I guess I feel like the suggestion is sort of unlikely</p>



<a name="197308785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308785">(May 12 2020 at 17:20)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116883">tmandry</span> <a href="#narrow/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12/near/197308779">said</a>:</p>
<blockquote>
<p>I think if we removed the help text in this case, the error would be much less confusing</p>
</blockquote>
<p>yes</p>



<a name="197308812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308812">(May 12 2020 at 17:20)</a>:</h4>
<p>that was my suggestion, let's just remove the "help"</p>



<a name="197308832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308832">(May 12 2020 at 17:21)</a>:</h4>
<p>I think the other bit is kind of.. we generally "trust" declared field types over method bodies</p>



<a name="197308845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308845">(May 12 2020 at 17:21)</a>:</h4>
<p>in any case I don't think it's specific to futures</p>



<a name="197308870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308870">(May 12 2020 at 17:21)</a>:</h4>
<p>i.e., you might have <code>Option&lt;fn(F)&gt;</code> instead or something</p>



<a name="197308897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308897">(May 12 2020 at 17:21)</a>:</h4>
<p>and get a similar error when you tried to store a <code>Option&lt;fn(bool)&gt;</code></p>



<a name="197308908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308908">(May 12 2020 at 17:21)</a>:</h4>
<p>yeah, but the <code>Box::pin</code> suggestion is sort of targeted to async users</p>



<a name="197308935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308935">(May 12 2020 at 17:22)</a>:</h4>
<p>yes, that suggestion is confusing</p>



<a name="197308984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308984">(May 12 2020 at 17:22)</a>:</h4>
<p>and I'm not sure what is prompting it</p>



<a name="197308997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197308997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197308997">(May 12 2020 at 17:22)</a>:</h4>
<p>but it can clearly be targeted more tightly</p>



<a name="197309006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309006">(May 12 2020 at 17:22)</a>:</h4>
<p>I'll cc <span class="user-mention" data-user-id="119031">@Esteban Küber</span> on the issue</p>



<a name="197309182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309182">(May 12 2020 at 17:23)</a>:</h4>
<p>as for triage, I'm not sure whether we should "own" the issue or not</p>



<a name="197309381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309381">(May 12 2020 at 17:25)</a>:</h4>
<p>I'm marking "triaged" for now, but it would be nice to follow up</p>



<a name="197309411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309411">(May 12 2020 at 17:25)</a>:</h4>
<p>(deleted)</p>



<a name="197309423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309423">(May 12 2020 at 17:25)</a>:</h4>
<p>I would say that tracking it until the the "remove the pin suggestion" part is removed is good</p>



<a name="197309447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309447">(May 12 2020 at 17:25)</a>:</h4>
<p>otherwise I don't consider it super high priority or async specific</p>



<a name="197309652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309652">(May 12 2020 at 17:26)</a>:</h4>
<p>done</p>



<a name="197309659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309659">(May 12 2020 at 17:26)</a>:</h4>
<h2>thread 'rustc' panicked at 'no label after fn', src/libcore/option.rs:1188:5 <a href="https://github.com/rust-lang/rust/issues/72095">#72095</a></h2>



<a name="197309883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309883">(May 12 2020 at 17:28)</a>:</h4>
<p>hmm</p>



<a name="197309989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197309989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197309989">(May 12 2020 at 17:29)</a>:</h4>
<p>I wonder if we could get a non-async version out after minimizing the output of <code>#[async_trait]</code></p>



<a name="197310086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310086">(May 12 2020 at 17:29)</a>:</h4>
<p>in any case, seems important to look into..</p>



<a name="197310187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310187">(May 12 2020 at 17:30)</a>:</h4>
<h2>Diagnostics request: suggest a closure with an async block when an async closure is encountered <a href="https://github.com/rust-lang/rust/issues/71686">#71686</a></h2>



<a name="197310279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310279">(May 12 2020 at 17:30)</a>:</h4>
<p>time check: we're out of time, feel free to step away and I'll continue triaging the last issues here</p>



<a name="197310311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310311">(May 12 2020 at 17:31)</a>:</h4>
<p>yeah sorry I got pulle away just now</p>



<a name="197310504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310504">(May 12 2020 at 17:32)</a>:</h4>
<p>I'll loop back</p>



<a name="197310536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310536">(May 12 2020 at 17:32)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/71686">#71686</a> seems like a very good suggestion and easy win</p>



<a name="197310544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310544">(May 12 2020 at 17:32)</a>:</h4>
<p>marking "On deck"</p>



<a name="197310636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310636">(May 12 2020 at 17:33)</a>:</h4>
<h2>Why implementation of iterator is not generic enough in async context? <a href="https://github.com/rust-lang/rust/issues/71671">#71671</a></h2>



<a name="197310798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310798">(May 12 2020 at 17:34)</a>:</h4>
<p>this "one type is more general than the other" error message again</p>



<a name="197310921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197310921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197310921">(May 12 2020 at 17:35)</a>:</h4>
<p>I'm trying to decide if this issue is the same as <a href="https://github.com/rust-lang/rust/issues/64552">#64552</a></p>



<a name="197311063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197311063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197311063">(May 12 2020 at 17:36)</a>:</h4>
<p>ah no, the code is invalid but the error message regressed</p>



<a name="197311198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197311198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197311198">(May 12 2020 at 17:37)</a>:</h4>
<p>that's subjective, though</p>



<a name="197311227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197311227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197311227">(May 12 2020 at 17:37)</a>:</h4>
<p>see <a href="https://stackoverflow.com/questions/54341465/rust-expected-type-error-prints-mismatched-types-that-are-exactly-the-same/54344401#54344401">this answer</a> on stackoverflow</p>



<a name="197311387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197311387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197311387">(May 12 2020 at 17:38)</a>:</h4>
<p>/me tries to figure out what's going on</p>



<a name="197312432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197312432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197312432">(May 12 2020 at 17:47)</a>:</h4>
<p>..yeah, I'm confused :D</p>



<a name="197312443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197312443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197312443">(May 12 2020 at 17:47)</a>:</h4>
<p>this error message is clearly not great</p>



<a name="197312709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197312709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197312709">(May 12 2020 at 17:49)</a>:</h4>
<p>the "expected" type often appears backwards to developers. I kind of wish it said something like "$foo expected it to be $bar"</p>



<a name="197312931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197312931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197312931">(May 12 2020 at 17:49)</a>:</h4>
<p>that's an interesting idea, adding what "perspective" the compiler is looking at it from</p>



<a name="197313089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197313089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197313089">(May 12 2020 at 17:50)</a>:</h4>
<p>I'm going to mark this issue On Deck for now, but it's possible we can fold it into one of the other issues we have along this vein</p>



<a name="197313339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197313339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197313339">(May 12 2020 at 17:52)</a>:</h4>
<h2>rustc should suggest using async version of Mutex <a href="https://github.com/rust-lang/rust/issues/71072">#71072</a></h2>



<a name="197313388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197313388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197313388">(May 12 2020 at 17:52)</a>:</h4>
<p>.. this is related to our discussion from last week, cc <span class="user-mention" data-user-id="207781">@Lucio Franco</span></p>



<a name="197313459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197313459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197313459">(May 12 2020 at 17:53)</a>:</h4>
<p>I think we should clearly be pushing on some form of this idea, maybe once we figure out the <code>MustUse</code> stuff, or maybe in tandem with it</p>



<a name="197313737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197313737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197313737">(May 12 2020 at 17:55)</a>:</h4>
<p><span class="user-mention" data-user-id="207781">@Lucio Franco</span> I think you said were interested in driving this forward, in which case you're more than welcome to</p>



<a name="197313913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197313913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197313913">(May 12 2020 at 17:56)</a>:</h4>
<p>This feels like more of a long term "design" type thing than some of the other things on our board, but I'm going to put it there anyway</p>



<a name="197325453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197325453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lucio Franco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197325453">(May 12 2020 at 19:22)</a>:</h4>
<p>Yeah, I have not had time to dive into it yet but should have some time soon. I was thinking of making some sort of RFC for the lint. I don't think that issue correctly represents what we want nor should we be always suggesting to use an async mutex over a non async one.</p>



<a name="197326040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197326040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197326040">(May 12 2020 at 19:26)</a>:</h4>
<p><span class="user-mention silent" data-user-id="207781">Lucio Franco</span> <a href="#narrow/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12/near/197325453">said</a>:</p>
<blockquote>
<p>should we be always suggesting to use an async mutex over a non async one.</p>
</blockquote>
<p>This was actually a very interesting point to me <a href="https://github.com/tokio-rs/mini-redis#using-a-stdsyncmutex-in-an-async-application">about the mini-redis example</a> — that it <em>can</em> be fine to use "normal" mutexes in async code. In retrospect in might be "obvious", but it wasn't to me before I read that.</p>



<a name="197341962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197341962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197341962">(May 12 2020 at 21:26)</a>:</h4>
<p>good point, maybe that issue is not the best one to represent the work</p>



<a name="197347262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197347262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lucio Franco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197347262">(May 12 2020 at 22:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116883">tmandry</span> <a href="#narrow/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12/near/197341962">said</a>:</p>
<blockquote>
<p>good point, maybe that issue is not the best one to represent the work</p>
</blockquote>
<p>I think it should be closed, I don't think its a good thing to have tbh.</p>



<a name="197347288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202020.05.12/near/197347288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lucio Franco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202020.2E05.2E12.html#197347288">(May 12 2020 at 22:17)</a>:</h4>
<p>with the lint I am proposing we would avoid the need to tell users that because we can detect when they do something bad.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>